Software Component Specification Using Design by Contract
نویسندگان
چکیده
This paper describes methods for identifying appropriate software components for an application and for specifying the components’ operations rigorously. It uses the theory and methods of the design by contract approach for specification of the functionality. The actual implementations of a component’s operations are hidden from the clients and encapsulated within the component. A component communicates with another component only through one of the other component’s supported interfaces. Hence, a component can be easily replaced by another that implements the same operations. By using design by contract, we build reliable reusable components.
منابع مشابه
Formal Specification of Business Components – a Design by Contract Perspective
In software developers’ world two aspects are common knowledge: software fails are expensive, so we need reliable software; software itself is expensive, so we want reusable software. Design by Contract, advocated by Bertrand Meyer, is known as one of the most comprehensive methods for ensuring reliability, while delivering reusable software components. A business component is a component that ...
متن کاملUnSCom: A Standardized Framework for the Specification of Software Components
This paper proposes a standardized framework for the specification of components, which focuses on providing the information necessary to facilitate component development, discovery, and composition. To be applicable in all these fields, the Unified Specification of Components (UnSCom) framework ties together a mix of different specification aspects and unifies the specification of components u...
متن کاملDesign by contract approach to test generation for EFSMs using GA
Design by contract approach prescribes that developer should define formal and verifiable interface specifications for software components and makes it possible to automate process of software testing. We propose to adapt this approach for Extended Finite State Machines (EFSMs), which are often used in model-based development and for modeling VHDL specifications. This paper proposes an approach...
متن کاملRigorous Description Of Design Components Functionality: An Approach Based Contract
Current models for software components have made component-based software engineering practical. However, these models are limited in the sense that their support for the characterization/specification of design components primarily deals with syntactic issues. To avoid mismatch and misuse of components, more comprehensive specification of software components is required, In this paper, we pres...
متن کاملJournal of Object Technology
The main goal of "Design by Contract" is to improve correctness and robustness of software systems. For this purpose, the interfaces of classes or modules are augmented with precise specifications containing assertions. By means of these assertions, a supplier of a service imposes contractual obligations that his clients have to fulfill. ”Componentware” introduces a new software development par...
متن کامل